Das Direct Mapping bzw. die Direktabbildung ist ein Verfahren, das die Konvertierung von beschreibungslogischen Axiomen in Logikprogrammregeln (und umgekehrt) ermöglicht. Beide Formalismen haben bezüglich Ausdrucksmächtigkeit und Entscheidbarkeit ihre Vor- und Nachteile, weswegen sie auch parallel existieren. Das Direct Mapping ermöglicht, die...